Principle of a Speci cationLanguage Dedicated to Signal
نویسندگان
چکیده
Array-OL is a programming language dedicated to signal processing developed by Thomson Marconi Sonar. An Array-OL program speciies the dependences between array elements produced and consumed by tasks. In particular, temporal dependences are speciied by referencing elements that belong to an innnite dimension of an array. A basic compilation strategy of Array-OL on a workstation has been deened. This basic compilation does not allow to generate eecient code for any Array-OL application; specially those deening innnite arrays. We propose to transform such Array-OL applications to hierarchical Array-OL applications that may be compiled with the basic strategy. We introduce a representation of Array-OL applications in a formalism of relation between points of ZZ n spaces; code transformations are applied at this level. The paper reports usage of the transformation process in the compilation of a representative application.
منابع مشابه
OPTIMAL NOZZLE SHAPES OF CO2-N2-H2O GASDYNAMIC LASERS
In an axisymmetric CO2-N2-H2O gas dynamic laser, let ? denote the intersection of the vertical plane of symmetry with the upper part of the (supersonic) nozzle. To obtain a maximal small signal gain, some authors have tested several families of curves for ?. To find the most general solution for ?, an application of Pontryagin’s principle led to the conjuncture that the optimal ? must consist o...
متن کاملRaising the level of abstraction: A signal processing system design course
Signal processing systems are inherently heterogeneous. They often contain a mixture of ltering, communication, and control algorithms implemented by a variety of technologies such as digital hardware, software, and analog circuits. Modern system-level design manages heterogeneity by rst decoupling speci cation from implementation and then decomposing the speci cation into a hierarchy of simple...
متن کاملDelay Spoofing Reduction in GPS Navigation System based on Time and Transform Domain Adaptive Filtering
Due to widespread use of Global Positioning System (GPS) in different applications, the issue of GPS signal interference cancelation is becoming an increasing concern. One of the most important intentional interferences is spoofing signals. An effective interference (delay spoof) reduction method based on adaptive filtering is developed in this paper. The principle of method is using adaptive f...
متن کاملFf Ur Mathematik in Den Naturwissenschaften Leipzig Homeokinesis { a New Principle to Back up Evolution with Learning Homeokinesis { a New Principle to Back up Evolution with Learning
It is well known that individual learning can speed up arti cial evo lution enormously However both supervised learning and reinforcement learning require speci c learning goals which usually are not available or di cult to nd We introduce a new principle homeokinesis which is completely unspeci c and yet induces speci c seemingly goal oriented behaviors of an agent in a complex external world ...
متن کاملAn algebraic principle for blind separation of white non-Gaussian sources
An algebraic principle for blind source separation is presented in this paper. This separation principle identi"es a (smaller) set of equations whose solutions can blindly extract non-Gaussian signals. The concept of `Mth-order uncorrelatednessa is introduced and it is proven that for Mth-order uncorrelated source signals, signals with nonzero kth-order cumulant (2(k)M) can always be extracted ...
متن کامل